Coalgebra Gauge Theory
نویسنده
چکیده
We develop a generalised gauge theory in which the role of gauge group is played by a coalgebra and the role of principal bundle by an algebra. The theory provides a unifying point of view which includes quantum group gauge theory, embeddable quantum homogeneous spaces and braided group gauge theory, the latter being introduced now by these means. Examples include ones in which the gauge groups are the braided line and the quantum plane.
منابع مشابه
Some Remarks on Quantum and Braided Group Gauge Theory
We clarify some aspects of quantum group gauge theory and its recent generalisations (by T. Brzezinski and the author) to braided group gauge theory and coalgebra gauge theory. We outline the diagrammatic version of the braided case. We study the bosonisation of any braided group provides as a trivial principal bundle in three ways.
متن کاملAutomata and Coinduction (an Exercise in Coalgebra) Automata and Coinduction (an Exercise in Coalgebra)
The classical theory of deterministic automata is presented in terms of the notions of homomor-phism and bisimulation, which are the cornerstones of the theory of (universal) coalgebra. This leads to a transparent and uniform presentation of automata theory and yields some new insights, amongst which coinduction proof methods for language equality and language inclusion. At the same time, the p...
متن کاملPower-Set Functors and Saturated Trees
We combine ideas coming from several fields, including modal logic, coalgebra, and set theory. Modally saturated trees were introduced by K. Fine in 1975. We give a new purely combinatorial formulation of modally saturated trees, and we prove that they form the limit of the final ωopchain of the finite power-set functor Pf . From that, we derive an alternative proof of J. Worrell’s description ...
متن کاملControl of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Control of discrete-event systems with partial observations is treated by concepts and results of coalgebra and coinduction. Coalgebra is part of abstract algebra and enables a generalization of the computer science concept of bisimulation. It can be applied to automata theory and then provides a powerful algebraic tool to treat problems of supervisory control. A framework for control of discre...
متن کاملCofree compositions of coalgebras
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996